Articles classificators
> F >F.3


F.3 Logics and Meanings of Programs

  • F.3.1 Specifying and Verifying and Reasoning about Programs

Keywords
Home| Scope| Editorial Board| Content| Search| Subscription| Rules| Contacts
ISSN 1560-7534
© 2024 FRC ICT